大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings

0
索取号：
作者：Nordio、 Martin.、Joseph、 Mathai.、Meyer、 Bertrand.、Terekhov、 Andrey.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithm Theory - SWAT 2010 [electronic resource] : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

0
索取号：
作者：Kaplan、 Haim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Image and Signal Processing [electronic resource] : 4th International Conference, ICISP 2010, Trois-Rivi猫res, QC, Canada, June 30-July 2, 2010. Proceedings

0
索取号：
作者：Elmoataz、 Abderrahim.、Lezoray、 Olivier.、Nouboud、 Fathallah.、Mammass、 Driss.、Meunier、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings

0
索取号：
作者：Giese、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Smart Graphics [electronic resource] : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings

0
索取号：
作者：Taylor、 Robyn.、Boulanger、 Pierre.、Kr眉ger、 Antonio.、Olivier、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II

0
索取号：
作者：J臋drzejowicz、 Piotr.、Nguyen、 Ngoc Thanh.、Howlet、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

0
索取号：
作者：Lodi、 Andrea.、Milano、 Michela.、Toth、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings

0
索取号：
作者：Amir、 Amihood.、Parida、 Laxmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I

0
索取号：
作者：J臋drzejowicz、 Piotr.、Nguyen、 Ngoc Thanh.、Howlet、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trust Management IV [electronic resource] : 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings

0
索取号：
作者：Nishigaki、 Masakatsu.、J酶sang、 Audun.、Murayama、 Yuko.、Marsh、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Clarke、 Dave.、Agha、 Gul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Space-Time Continuous Models of Swarm Robotic Systems [electronic resource] : Supporting Global-to-Local Programming

0
索取号：
作者：Hamann、 Heiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

0
索取号：
作者：Gao、 Guang R.、Pollock、 Lori L.、Cavazos、 John.、Li、 Xiaoming.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security and Assurance [electronic resource] : 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

0
索取号：
作者：Bandyopadhyay、 Samir Kumar.、Adi、 Wael.、Kim、 Tai-hoon.、Xiao、 Yang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

0
索取号：
作者：Dastani、 Mehdi.、El Fallah Segrouchni、 Amal.、Leite、 Jo茫o.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院